The Refined Extension Principle for Semantics of Dynamic Logic Programming

The Refined Extension Principle for Semantics of Dynamic Logic Programming

Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce ...

Issues Published in the Year 2005 the Refined Extension Principle for Semantics of Dynamic Logic Program- Ming 7–32

Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce ...

Semantics for Dynamic Logic Programming: A Principle-Based Approach

Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce ...

A Kripkean Semantics for Dynamic Logic Programming

Rethinking Semantics of Dynamic Logic Programming

A dynamic logic program represents an evolving knowledge base. Research in the field is dominated by the causal rejection principle: the conflicting rule from the less preferred program is rejected in the case of conflict. Some drawbacks of the causal rejection principle (irrelevant updates, inconsistencies which cannot be solved according to the causal rejection principle, disagreement with ot...